(0 5 3)(1 17 9)(2 18 15)(4 11 6)(7 20 19)(8 13 10)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (7 11 19)
(0 5 3)(1 17 9)(2 18 15)(4 11 20 19 6)(7)(8 13 10)(12 16 14)
2: (1 17 9)
(0 5 3)(1)(2 18 15)(4 11 20 19 6)(7)(8 13 10)(9)(12 16 14)(17)
3: (8 13 10)
(0 5 3)(1)(2 18 15)(4 11 20 19 6)(7)(8)(9)(10)(12 16 14)(13)(17)
4: (4 11 20)
(0 5 3)(1)(2 18 15)(4 19 6)(7)(8)(9)(10)(11)(12 16 14)(13)(17)(20)